coalgebra相关论文
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
引进交叉积的对偶定义交叉余积,并在交叉余积余代数和特殊扭余积余代数同构时,讨论交叉余积成为余代数的等价问题.......
共代数方法是近几年来理论计算机科学的研究热点之一,在并行计算模型、自动机及面向对象技术的理论基础方面有着广泛的应用.以范畴理......
余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr?der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个r......
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采......
作为代数的对偶概念,共代数概念在20世纪90年代中后期以来在国际上得到了理论计算机学界的广泛关注.对于计算机科学而言,代数从构......
介绍了代数的对偶概念——余代数,以及基于状态系统的余代数描述。将文档的每一句看作一个断言,并动态地将文档理解为一个断言流,从而......
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被......
研究了Hom-Yang—Baxter方程的解,分别从代数和余代数构造了两类Hom—Yang—Baxter方程的解....
对于有限维代数及余代数,基上的积(或余积)给出了该代数(余代数)的结构常数,这些结构常数构成一个立方阵,这个立方阵完全决定此代......
设Γ是域k上的余代数,对函子τ=DTr:MqcΓ→MqcΓ作进一步研究,其中MqcΓ表示MΓ中由拟有限余表示余模确定的完全子范畴.证明了当Γ......
利用箭图的局部幂零表示构造出了量子代数Uq(f(K))的所有余模.首先证明了作为余代数是余根分次的,清晰地给出了余代数Uq(f(K))的Gabriel箭图 ......
利用余代数的树结构基,得到了余代数同构的等价条件,从而完成了四维余代数的分类,并针对更高维的余代数分类给出了一般方法.......
根据代数扩张的思想介绍丁余代数的扩张,进而引,入双代数和Hopf代数的扩张。证明了有限维余代数的平凡扩张是coFrobenius余代数,给出......
证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子......
余代数上的不变量在理论计算机科学中占有十分重要的地位,本文借助文献[1]的思想建立弱不变量的定义,讨论了弱不变量的性质以及与不......
令k是交换环,C是投射k-余代数.本文讨论了具有缠绕结构(A,C)ψ的C-余模A的smash积.当ψ是双射,并且C是有限生成投射k-余代数时,证......